package dpll.ast;

import dpll.fnc.IVisitor;

public class NodoParentesis extends ASTNode {

	private IASTNode nodoProposicion;

	public NodoParentesis(IASTNode nodoProposicion) {
		this.nodoProposicion = nodoProposicion;
	}
	
	public IASTNode getProposicion() {
		return nodoProposicion;
	}
	
	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitParentesis(this);
	}

	@Override
    public String toString() {
            return "((" + nodoProposicion.toString() + "))";
    }
	
}
